<html>
  <head>
    <title>Code coverage for the Jtemplate interpreter</title>
    <link rel="stylesheet" type="text/css" href="style.css">
    <script type="text/javascript">
      <!--
        function jump(id) {
          document.body.scrollTop = document.all[id].offsetTop;
        }
      -->
    </script>
    <script language="javascript" src="file0017.js"></script>
  </head>
  <body>
    <div class="section">File: build/library.ml (<a href="index.html">return to index</a>)</div>
    <br/>
    <hr class="codeSep"/>
    <br/>
    <table>
      <tr>
        <td valign="top" class="section">Statistics:&nbsp;&nbsp;</td>
        <td valign="top">
          <table class="simple">
            <tr><th>kind</th><th width="16px">&nbsp;</th><th>coverage</th></tr>
            <tr><td>binding</td><td width="16px">&nbsp;</td><td>27 / 29 (93 %)</td></tr>
            <tr><td>sequence</td><td width="16px">&nbsp;</td><td>5 / 5 (100 %)</td></tr>
            <tr><td>for</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>if/then</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>try</td><td width="16px">&nbsp;</td><td>1 / 1 (100 %)</td></tr>
            <tr><td>while</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>match/function</td><td width="16px">&nbsp;</td><td>12 / 19 (63 %)</td></tr>
          </table>
        </td>
        <td valign="top">
          <table class="simple">
            <tr><th>kind</th><th width="16px">&nbsp;</th><th>coverage</th></tr>
            <tr><td>class expression</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class initializer</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class method</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>class value</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>toplevel expression</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
            <tr><td>lazy operator</td><td width="16px">&nbsp;</td><td>0 / 0 (- %)</td></tr>
          </table>
        </td>
      </tr>
    </table>
    <br/>
    <hr class="codeSep"/>
    <br/>
    <div class="section">Source:</div>
    <br/>
<div style="font-size: smaller;"><a href="javascript:foldAll();">fold all</a> <a href="javascript:unfoldAll();">unfold all</a></div>
    <code>
      <div id="fold000001">
      <div id="line000001" class="lineNone"><a href="javascript:fold('fold000001');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000001| (**</div>
      <div id="line000002" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000002| This&nbsp;program&nbsp;is&nbsp;free&nbsp;software;&nbsp;you&nbsp;can&nbsp;redistribute&nbsp;it&nbsp;and&nbsp;/&nbsp;or&nbsp;modify</div>
      <div id="line000003" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000003| it&nbsp;under&nbsp;the&nbsp;terms&nbsp;of&nbsp;the&nbsp;GNU&nbsp;General&nbsp;Public&nbsp;License&nbsp;as&nbsp;published&nbsp;by</div>
      <div id="line000004" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000004| the&nbsp;Free&nbsp;Software&nbsp;Foundation;&nbsp;version&nbsp;3&nbsp;of&nbsp;the&nbsp;License.</div>
      <div id="line000005" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000005| &nbsp;</div>
      <div id="line000006" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000006| This&nbsp;program&nbsp;is&nbsp;distributed&nbsp;in&nbsp;the&nbsp;hope&nbsp;that&nbsp;it&nbsp;will&nbsp;be&nbsp;useful,</div>
      <div id="line000007" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000007| but&nbsp;WITHOUT&nbsp;ANY&nbsp;WARRANTY;&nbsp;without&nbsp;even&nbsp;the&nbsp;implied&nbsp;warranty&nbsp;of</div>
      <div id="line000008" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000008| MERCHANTABILITY&nbsp;or&nbsp;FITNESS&nbsp;FOR&nbsp;A&nbsp;PARTICULAR&nbsp;PURPOSE.&nbsp;See&nbsp;the</div>
      <div id="line000009" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000009| GNU&nbsp;General&nbsp;Public&nbsp;License&nbsp;for&nbsp;more&nbsp;details.</div>
      <div id="line000010" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000010| &nbsp;</div>
      <div id="line000011" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000011| Registration&nbsp;of&nbsp;libraries</div>
      <div id="line000012" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000012| &nbsp;</div>
      <div id="line000013" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000013| @author&nbsp;Tony&nbsp;BenBrahim&nbsp;&lt;&nbsp;tony.benbrahim&nbsp;at&nbsp;gmail.com&nbsp;&gt;</div>
      <div id="line000014" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000014| &nbsp;</div>
      <div id="line000015" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000015| *)</div>
      <div id="line000016" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000016| &nbsp;</div>
      <div id="line000017" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000017| open&nbsp;Ast</div>
      <div id="line000018" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000018| open&nbsp;Environment</div>
      <div id="line000019" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000019| &nbsp;</div>
      <div id="line000020" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000020| (**</div>
      <div id="line000021" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000021| Registers&nbsp;all&nbsp;library&nbsp;functions&nbsp;and&nbsp;params&nbsp;in&nbsp;an&nbsp;analysis&nbsp;environment</div>
      <div id="line000022" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000022| @param&nbsp;env&nbsp;analysis&nbsp;environment</div>
      <div id="line000023" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000023| @return&nbsp;a&nbsp;modified&nbsp;environment&nbsp;with&nbsp;all&nbsp;library&nbsp;functions&nbsp;registered</div>
      <div id="line000024" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000024| *)</div>
      <div id="line000025" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000025| let&nbsp;register_for_analysis&nbsp;env&nbsp;=</div>
      <div id="line000026" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000026| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;args&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;ArraySubtype))</div>
      <div id="line000027" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000027| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;String&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000028" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000028| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Integer&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000029" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000029| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;h=Hashtbl.create&nbsp;10&nbsp;</div>
      <div id="line000030" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000030| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;_&nbsp;=Hashtbl.add&nbsp;h&nbsp;&quot;infinity&quot;&nbsp;(RFloatValue(infinity))</div>
      <div id="line000031" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000031| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;_&nbsp;=Hashtbl.add&nbsp;h&nbsp;&quot;nan&quot;&nbsp;(RFloatValue(nan))</div>
      <div id="line000032" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000032| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;_&nbsp;=Hashtbl.add&nbsp;h&nbsp;&quot;negativeInfinity&quot;&nbsp;(RFloatValue(neg_infinity))</div>
      <div id="line000033" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000033| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Float&quot;&nbsp;(RMapValue(h,&nbsp;MapSubtype))</div>
      <div id="line000034" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000034| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Boolean&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000035" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000035| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Function&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000036" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000036| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Void&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000037" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000037| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Nan&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000038" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000038| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Array&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000039" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000039| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;Map&quot;&nbsp;(RMapValue(Hashtbl.create&nbsp;10,&nbsp;MapSubtype))</div>
      <div id="line000040" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000040| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;&quot;void&quot;&nbsp;RVoid</div>
      <div id="line000041" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000041| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;rec&nbsp;define_map_lib_call&nbsp;h&nbsp;libdef&nbsp;=&nbsp;function</div>
      <div id="line000042" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000042| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;name::[]&nbsp;-&gt;&nbsp;(*[84]*)Hashtbl.replace&nbsp;h&nbsp;name&nbsp;libdef</div>
      <div id="line000043" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000043| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;name::&nbsp;tl&nbsp;-&gt;</div>
      <div id="line000044" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000044| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[46]*)let&nbsp;h&nbsp;=&nbsp;(try</div>
      <div id="line000045" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000045| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;match&nbsp;Hashtbl.find&nbsp;h&nbsp;name&nbsp;with</div>
      <div id="line000046" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000046| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;RMapValue(h,&nbsp;MapSubtype)&nbsp;-&gt;&nbsp;(*[36]*)h</div>
      </div>
      <div id="line000047" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000047| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;_&nbsp;-&gt;&nbsp;(*[0]*)raise&nbsp;(RuntimeError.InternalError&nbsp;&quot;inconsistent&nbsp;library&nbsp;call&nbsp;definition&quot;)</div>
      <div id="fold000048">
      <div id="line000048" class="lineNone"><a href="javascript:fold('fold000048');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000048| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;with&nbsp;Not_found&nbsp;-&gt;</div>
      <div id="line000049" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000049| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[10]*)let&nbsp;nh&nbsp;=&nbsp;Hashtbl.create&nbsp;10</div>
      <div id="line000050" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000050| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[10]*)Hashtbl.replace&nbsp;h&nbsp;name&nbsp;(RMapValue(nh,&nbsp;MapSubtype));&nbsp;(*[10]*)nh)</div>
      <div id="line000051" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000051| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[46]*)define_map_lib_call&nbsp;h&nbsp;libdef&nbsp;tl</div>
      </div>
      <div id="line000052" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000052| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;[]&nbsp;-&gt;&nbsp;(*[0]*)raise&nbsp;(RuntimeError.InternalError&nbsp;&quot;invalid&nbsp;library&nbsp;call&nbsp;definition&quot;)</div>
      <div id="fold000053">
      <div id="line000053" class="lineAllVisited"><a href="javascript:fold('fold000053');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000053| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;rec&nbsp;loop&nbsp;env&nbsp;=&nbsp;function</div>
      <div id="line000054" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000054| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;[]&nbsp;-&gt;&nbsp;(*[6]*)env</div>
      <div id="line000055" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000055| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;def::&nbsp;tl&nbsp;-&gt;</div>
      <div id="line000056" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000056| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(match&nbsp;def.name&nbsp;with</div>
      <div id="line000057" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000057| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;name::[]&nbsp;-&gt;</div>
      <div id="line000058" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000058| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[10]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;name&nbsp;(RLibraryFunction(def))</div>
      <div id="line000059" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000059| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[10]*)loop&nbsp;env&nbsp;tl</div>
      <div id="line000060" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000060| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;name::&nbsp;name_rest&nbsp;-&gt;</div>
      <div id="line000061" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000061| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[84]*)let&nbsp;(h,&nbsp;env)&nbsp;=&nbsp;(try</div>
      <div id="line000062" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000062| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;match&nbsp;resolve_variable_value&nbsp;name&nbsp;env&nbsp;with</div>
      <div id="line000063" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000063| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;(RMapValue(h,&nbsp;MapSubtype),&nbsp;loc)&nbsp;-&gt;&nbsp;((*[84]*)h,&nbsp;env)</div>
      </div>
      <div id="line000064" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000064| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;_&nbsp;-&gt;&nbsp;(*[0]*)raise&nbsp;(RuntimeError.InternalError&nbsp;&quot;inconsistent&nbsp;library&nbsp;call&nbsp;definition&quot;)</div>
      <div id="fold000065">
      <div id="line000065" class="lineNone"><a href="javascript:fold('fold000065');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000065| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;with</div>
      <div id="line000066" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000066| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;Variable_not_found(_)&nbsp;-&gt;</div>
      </div>
      <div id="line000067" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000067| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[0]*)let&nbsp;h&nbsp;=&nbsp;Hashtbl.create&nbsp;10</div>
      <div id="line000068" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000068| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[0]*)let&nbsp;env&nbsp;=&nbsp;Environment.declare_variable_and_value&nbsp;env&nbsp;name&nbsp;(RMapValue(h,&nbsp;MapSubtype))</div>
      <div id="line000069" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000069| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;((*[0]*)h,&nbsp;env)</div>
      <div id="fold000070">
      <div id="line000070" class="lineNone"><a href="javascript:fold('fold000070');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000070| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;)</div>
      <div id="line000071" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000071| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[84]*)define_map_lib_call&nbsp;h&nbsp;(RLibraryFunction(def))&nbsp;name_rest;</div>
      <div id="line000072" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000072| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[84]*)loop&nbsp;env&nbsp;tl</div>
      </div>
      <div id="line000073" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000073| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;[]&nbsp;-&gt;&nbsp;(*[0]*)raise&nbsp;(RuntimeError.InternalError&nbsp;&quot;invalid&nbsp;library&nbsp;call&nbsp;definition&quot;)</div>
      <div id="fold000074">
      <div id="line000074" class="lineNone"><a href="javascript:fold('fold000074');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000074| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;)</div>
      <div id="line000075" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000075| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;(exported,&nbsp;env)&nbsp;=&nbsp;Library_builtin.initialize&nbsp;env</div>
      <div id="line000076" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000076| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;loop&nbsp;env&nbsp;exported</div>
      <div id="line000077" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000077| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;(exported,&nbsp;env)&nbsp;=&nbsp;Library_string.initialize&nbsp;env</div>
      <div id="line000078" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000078| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;env&nbsp;=&nbsp;loop&nbsp;env&nbsp;exported</div>
      <div id="line000079" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000079| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)let&nbsp;(exported,&nbsp;env)&nbsp;=&nbsp;Library_io.initialize&nbsp;env</div>
      <div id="line000080" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000080| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)loop&nbsp;env&nbsp;exported</div>
      <div id="line000081" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000081| &nbsp;</div>
      <div id="line000082" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000082| (**</div>
      <div id="line000083" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000083| Registers&nbsp;library&nbsp;functions&nbsp;into&nbsp;a&nbsp;runtime&nbsp;environment</div>
      <div id="line000084" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000084| @param&nbsp;env&nbsp;analysis&nbsp;environment&nbsp;from&nbsp;which&nbsp;definitions&nbsp;will&nbsp;be&nbsp;transferred</div>
      <div id="line000085" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000085| @param&nbsp;renv&nbsp;runtime&nbsp;environment&nbsp;into&nbsp;which&nbsp;definitions&nbsp;will&nbsp;be&nbsp;transferred</div>
      <div id="line000086" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000086| @return&nbsp;unit</div>
      <div id="line000087" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000087| *)</div>
      <div id="line000088" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000088| let&nbsp;register_for_runtime&nbsp;env&nbsp;renv&nbsp;=</div>
      <div id="line000089" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000089| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[2]*)let&nbsp;rec&nbsp;process&nbsp;rmap&nbsp;=</div>
      <div id="line000090" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000090| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[2]*)StringMap.fold(fun&nbsp;k&nbsp;v&nbsp;_&nbsp;-&gt;</div>
      <div id="line000091" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000091| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[48]*)let&nbsp;(ind,&nbsp;uid)&nbsp;=&nbsp;v</div>
      <div id="line000092" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000092| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[48]*)try</div>
      <div id="line000093" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000093| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(*[48]*)let&nbsp;value&nbsp;=&nbsp;get_constant_value&nbsp;env&nbsp;uid</div>
      <div id="line000094" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000094| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[48]*)renv.heap.(ind)&nbsp;&lt;-&nbsp;(uid,&nbsp;value)</div>
      </div>
      <div id="line000095" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000095| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;with&nbsp;Not_found&nbsp;-&gt;&nbsp;(*[0]*)()</div>
      <div id="fold000096">
      <div id="line000096" class="lineNone"><a href="javascript:fold('fold000096');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000096| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;)&nbsp;rmap.variable_map&nbsp;();</div>
      <div id="line000097" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000097| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;match&nbsp;rmap.parent&nbsp;with</div>
      <div id="line000098" class="lineAllVisited"><img border="0" height="10" width="10"src="dash.png"/>000098| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;None&nbsp;-&gt;&nbsp;(*[2]*)()</div>
      </div>
      <div id="line000099" class="lineAllUnvisited"><img border="0" height="10" width="10"src="blank.png"/>000099| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;Some&nbsp;m&nbsp;-&gt;&nbsp;(*[0]*)process&nbsp;m</div>
      <div id="fold000100">
      <div id="line000100" class="lineAllVisited"><a href="javascript:fold('fold000100');"><img border="0" height="10" width="10" src="minus.png" title="fold code"/></a>000100| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;in&nbsp;(*[2]*)process&nbsp;env.globals</div>
      <div id="line000101" class="lineNone"><img border="0" height="10" width="10"src="dash.png"/>000101| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</div>
      </div>
    </code>
    <br/>
    <div id="navigator" style="border: solid black 1px; position: fixed; z-index:100; right: 10px; top: 10px; bottom: 10px; width: 16px;">
      <table width="100%" height="100%" border="0" cellspacing="0">
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000047');" title="jump to line 47"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000052');" title="jump to line 52"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000064');" title="jump to line 64"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000067');" title="jump to line 67"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000068');" title="jump to line 68"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000069');" title="jump to line 69"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000073');" title="jump to line 73"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000095');" title="jump to line 95"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="red" style="cursor: pointer;" onclick="javascript:jump('line000099');" title="jump to line 99"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
        <tr><td bgcolor="gray"></td></tr>
      </table>
    </div>
    <div class="section">Legend:</div>
    &nbsp;&nbsp;&nbsp;<span class="lineNone">some code</span>&nbsp;-&nbsp;line containing no point<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineAllVisited">some code</span>&nbsp;-&nbsp;line containing only visited points<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineAllUnvisited">some code</span>&nbsp;-&nbsp;line containing only unvisited points<br/>
    &nbsp;&nbsp;&nbsp;<span class="lineMixed">some code</span>&nbsp;-&nbsp;line containing both visited and unvisited points<br/>
    <br/>
    <hr class="codeSep"/>
    <p class="footer">Generated by <a href="http://bisect.x9c.fr">Bisect 1.0-beta</a> on 2009-08-04 01:23:19</p>
  </body>
</html>
